Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
371	Preface This book introduces theories, formalisms and applications that permit effective interaction between legal scholarly documents and their related semantic and formal descriptions, using the semantic technologies Add to Reading List Source URL: speroni.web.cs.unibo.it Language: English - Date: 2014-07-28 07:33:01 World Wide Web Semantic publishing Ontology Markup language Web Ontology Language Resource Description Framework Semantic Web Stack Social Semantic Web Semantic Web Information Data
372	An Efficient Incremental Architecture for Robust Interpretation Carolyn P. Rose´ Antonio Roque Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:53 Compiler construction Compiling tools Parser generators Formal languages Parsing Chart parser LR parser Syntax Formal grammar Programming language implementation Computing Software engineering
373	ML-Yacc User’s Manual Version 2.4 David R. Tarditi1 Andrew W. Appel2 1 Add to Reading List Source URL: www.mlton.org Language: English - Date: 2014-02-17 13:56:37 Compiler construction Formal languages Parsing Compiling tools Parser generators LALR parser LR parser Lookahead Yacc Programming language implementation Software engineering Computing
374	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:56:44 Theoretical computer science Omega language Theory of computation Determinacy Infinite loop Constructible universe Ordinal number Formal languages Computer programming Mathematics
375	LPI‐IP Formal Interpretation Form 14048 W. Petronella Dr. Suite 104 Libertyville, IL 60048 (224) 433 Add to Reading List Source URL: www.lpi-ip.com Language: English - Date: 2014-02-27 10:13:22 Philosophy of mind Semantics Libertyville Illinois Philosophy Logic Mind Interpretation Model theory Philosophy of language
376	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
377	Taking a view on bio-ontologies Simon Jupp 1∗, Andrew Gibson 2,3 , James Malone 1 , Helen Parkinson 1 and Robert Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-10-13 10:12:38 Science Knowledge representation Information science Technical communication Simple Knowledge Organization System Upper ontology Web Ontology Language Formal ontology OBO Foundry Ontology Semantic Web Information
378	xutools: UNIX Commands for Processing Next-Generation Structured Text Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2013-09-11 09:05:01 Formal languages Pattern matching Scripting languages Procedural programming languages Grep Unix Filter Domain-specific language XML Computing Software Markup languages
379	Using adaptor grammars to identify synergies in the unsupervised acquisition of linguistic structure Mark Johnson Brown University Mark Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 03:19:37 Grammar Compiler construction Statistical natural language processing Corpus linguistics Stochastic context-free grammar Context-free grammar N-gram Parsing Formal grammar Linguistics Formal languages Science
380	A Spider User’s Guide Norman Ramsey Department of Computer Science Princeton University July 1989 Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:25:39 Compiler construction Parsing Formal languages Scripting languages Lexical analysis Programming language implementation WEB TeX Tokenization Computing Software engineering Software

UPDATE